منابع مشابه
Origin Tracking
In the framework of conditional, not necessarily orthogonal, term rewriting systems, we introduce the notion of an origin. Origins are relations between subterms of intermediate terms which occur during rewriting, and subterms of the initial term. Origin tracking is a method for incrementally computing origins during rewriting. Origins are a generalization of the well-known concept of residuals...
متن کاملOrigin Tracking in Attribute Grammars
Origin tracking is a technique for relating the output of a transformation back to its input. In term rewriting systems, where this notion was developed, it relates subtrees in the resulting normal form term to the original term. The technique is useful in several settings, including program debugging and error reporting. We show how origin tracking can be integrated into higher-order attribute...
متن کاملOrigin Tracking for Higher-order Term Rewriting Systems 1 Origin Tracking
Origin Tracking is a technique which, in the framework of rst-order term rewriting systems, establishes relations between each subterm t of a normal form and a set of subterms, the origins of t, in the initial term. Origin tracking is based on the notion of residuals. It has been used successfully for the generation of error handlers and de-buggers from algebraic speciications of programming la...
متن کاملOrigin Tracking in Primitive Recursive Schemes
Algebraic speciications of programming languages can be used to generate language-speciic programming support tools. Some of these can be obtained in a straightforward way by executing language speciications as term rewriting systems. More advanced tools can be obtained if the term rewriting machinery is extended with origin tracking. Origin tracking is a technique which automatically establish...
متن کاملOrigin Tracking + + Text Differencing = = Textual Model Differencing
In textual modeling, models are created through an intermediate parsing step which maps textual representations to abstract model structures. Therefore, the identify of elements is not stable across different versions of the same model. Existing model differencing algorithms, therefore, cannot be applied directly because they need to identify model elements across versions. In this paper we pre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1993
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(06)80004-0